Ordinal analysis - PDFSEARCH.IO - Document Search Engine

Ordinal analysis
Results: 324

#	Item
21	RAMSEY’S THEOREM FOR SINGLETONS AND STRONG COMPUTABLE REDUCIBILITY DAMIR D. DZHAFAROV, LUDOVIC PATEY, REED SOLOMON, AND LINDA BROWN WESTRICK Abstract. We answer a question posed by Hirschfeldt and Jockusch by showing Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2016-05-31 11:43:35 Mathematics Mathematical analysis Differential forms Constructible universe Closed and exact differential forms Computability theory Combinatory logic Ordinal number Differential forms on a Riemann surface Banach fixed-point theorem
22	On uniform weak K¨onig’s lemma Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 09:11:16 Computability theory Proof theory Mathematical logic Predicate logic Logic in computer science Primitive recursive functional Reverse mathematics Primitive recursive function Primitive recursive arithmetic First-order logic Peano axioms Ordinal analysis
23	Theories and Ordinals: Ordinal Analysis Michael Rathjen Department of Pure Mathematics, University of Leeds Leeds LS2 9JT, United Kingdom How do ordinals measure the strength and computational power of formal Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2012-10-11 15:49:42
24	LEARNING TO SEGMENT SONGS WITH ORDINAL LINEAR DISCRIMINANT ANALYSIS Brian McFee Daniel P.W. Ellis Center for Jazz Studies Add to Reading List Source URL: bmcfee.github.io Language: English - Date: 2016-05-31 12:44:38 Statistics Multivariate statistics Data analysis Mathematics Image segmentation Cluster analysis Hierarchical clustering Non-negative matrix factorization Self-similarity matrix Market segmentation Principal component analysis Pattern recognition
25	The Realm of Ordinal Analysis Michael Rathjen Department of Pure Mathematics, University of Leeds Leeds LS2 9JT, United Kingdom Denn die Pioniere der Mathematik hatten sich von gewissen Grundlagen Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2012-10-11 11:54:34
26	A Game on towers David Chodounsk´y Charles University in Prague June 5, 2010 Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-05 23:00:07 Operator theory Complex analysis Riemann surfaces Filter General topology Order theory Ordinal number Differential forms on a Riemann surface Modulus of continuity
27	Co-Learning Bayesian Model Fusion: Efficient Performance Modeling of Analog and Mixed-Signal Circuits Using Side Information Add to Reading List Source URL: manzil.ml Language: English - Date: 2016-01-03 02:26:45 Statistics Probability Mathematical analysis Probability distributions Laplace distribution Linear regression Normal distribution Constructible universe Bayesian network Ordinal number Beta distribution Omnibus test
28	Relativized ordinal analysis: The case of Power Kripke-Platek set theory Michael Rathjen Department of Pure Mathematics, University of Leeds, Leeds LS2 9JT, England, Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2013-05-15 05:52:40
29	Ordinal Analysis and the Infinite Ramsey Theorem Bahareh Afshari1 and Michael Rathjen2 1 School of Informatics, University of Edinburgh, Edinburgh, UK Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2012-10-11 15:42:30
30	PDF Document Add to Reading List Source URL: www.kroening.com Language: English - Date: 2015-02-13 06:17:10 Formal methods Logic in computer science Vienna Development Method Functional analysis General topology Wellfoundedness Satisfiability modulo theories First-order logic Constructible universe F-algebra Ordinal number Sequence